- 2 402 202 книги
#1
Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings (Lecture Notes ... Computer Science and General Issues)
Johan Lilius, Wojciech PenczekКатегория: Компьютеры
4.76 Mb
#2
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence)
Wojciech Penczek, Agata PolrolaКатегория: Образование
2.78 Mb
#3
Modelling with Generalized Stochastic Petri Nets
G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, M. Ajmone Marsan,Категория: Математика, Вероятность
2.57 Mb
#4
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)
Michael Yoeli, Rakefet KolКатегория: Математика, Прикладная математика
857 Kb
#5
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach (Advances in Industrial Control)
Zhi Wu Li, Meng Chu ZhouКатегория: Наука (общее)
1.53 Mb
#6
Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings (Lecture Notes in Computer Scienc
Jetty Kleijn, Alex YakovlevКатегория: Компьютеры
4.69 Mb
#7
An Object Oriented Petri Net Approach to Embedded System Design (Tik-Schriftenreihe) English
Robert EsserКатегория: Языкознание
896 Kb
#8
Transactions on Petri Nets and Other Models of Concurrency IV (Lecture Notes in Computer Science Transactions on Petri Nets and Other Models of Concurrency)
Kurt Jensen, Susanna Donatelli, Maciej KoutnyКатегория: Компьютеры
4.72 Mb
#10
Finite Representations of CCS and TCSP Programs by Automata and Petri Nets (Lecture Notes in Computer Science)
Dirk A. TaubnerКатегория: Компьютеры
9.03 Mb
#11
Modeling in Systems Biology: The Petri Net Approach
Koch I., Reisig W., Schreiber F. (eds.)Категория: B_Biology
6.37 Mb
#12
Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools (Advanced Textbooks in Control and Signal Processing)
Branislav Hrúz, MengChu Zhou
3.57 Mb
#16
Modeling and Control of Discrete-Event Dynamic Systems: With Petri Nets and Other Tools
Branislav Hrúz, Mengchu Zhou
11.02 Mb
#18
Biological Petri Nets - Volume 162 Studies in Health Technology and Informatics
E. Wingender
7.73 Mb
#19
Application and Theory of Petri Nets - PETRI NETS 2011
Lars M. Kristensen, Laure Petrucci
4.39 Mb
#20
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
Wolfgang Reisig
1.75 Mb
#21
Petri Net theory and the modeling of systems
James Lyle PetersonКатегория: Computer science, Discrete math
1.89 Mb
#24
Lectures on Petri nets I: Basic models
Wolfgang Reisig, Grzegorz RozenbergКатегория: Computer science, Discrete math
4.54 Mb
#25
Lectures on Petri nets II: Applications
Wolfgang Reisig, Grzegorz RozenbergКатегория: Computer science, Discrete math
3.56 Mb
#27
Supervisory Control of Concurrent Systems: A Petri Net Structural Approach
Iordache M. V., Antsaklis P. J.
3.04 Mb
#31
Coloured Petri Nets modeling and validation of concurrent systems
Kurt Jensen, Lars M. Kristensen
3.53 Mb
#32
Petri Net. Theory and applications (I-Tech, 2008)(ISBN 9783902613127)(542s) CsAl -o
Kordic V.
9.68 Mb
#33
Petri Net. Theory and applications (I-Tech, 2008)(ISBN 9783902613127)(600dpi)(T)(542s) CsAl
Kordic V.
9.03 Mb
#34
Advances in verification of time petri nets and timed automata: a temporal logic approach
Wojciech Penczek, Agata Pólrola
2.77 Mb
#35
Models of software architecture: design and analysis with UML and Petri nets
Störrle Harald
1.68 Mb
#36
Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools
Branislav Hrúz, MengChu Zhou
4.56 Mb
#38
Advances in Petri Nets 1992
Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
4.20 Mb
#39
Application and Theory of Petri Nets 2000, 21 conf., ICATPN 2000
Mogens Nielsen, Dan SimpsonКатегория: Cs_Computer science, CsLn_Lecture notes
5.54 Mb
#40
Advances in Petri Nets 1996, Lectures on Petri Nets vol.2: Applications
Wolfgang Reisig, Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
4.50 Mb
#41
Unifying Petri Nets
Hartmut Ehrig, Gabriel Juhas, Julia Padberg, Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
2.92 Mb
#42
Advances in Petri Nets 1989 9 conf
Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
4.39 Mb
#43
Applications and Theory of Petri Nets 2005, 26 conf., ICATPN 2005
Gianfranco Ciardo, Philippe DarondeauКатегория: Cs_Computer science, CsLn_Lecture notes
3.99 Mb
#44
Advances in Petri Nets 1990 10 conf
Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
5.34 Mb
#45
Applications and Theory of Petri Nets 2002, 23 conf., ICATPN 2002
Javier Esparza, Charles LakosКатегория: Cs_Computer science, CsLn_Lecture notes
4.38 Mb
#46
Applications and Theory of Petri Nets 2003, 24 conf., ICATPN 2003
Wil van der Aalst, Eike BestКатегория: Cs_Computer science, CsLn_Lecture notes
8.35 Mb
#47
Advances in Petri Nets 1988 8 conf
Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
3.90 Mb
#48
Application and Theory of Petri Nets 1992 13 conf
Kurt JensenКатегория: Cs_Computer science, CsLn_Lecture notes
4.94 Mb
#49
Advances in Petri Nets
Wilfried Brauer, Wolfgang Reisig, Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
4.13 Mb
#50
Petri Nets and Other Models of Concurrency - ICATPN 2006, 27 conf
Susanna Donatelli, P.S. ThiagarajanКатегория: Cs_Computer science, CsLn_Lecture notes
5.83 Mb
#51
Application and Theory of Petri Nets 1993 14 conf
Marco Ajmone MarsanКатегория: Cs_Computer science, CsLn_Lecture notes
6.12 Mb
#52
Application of Petri Nets to Communication Networks
Jonathan Billington, Michel Diaz, Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
3.19 Mb
#53
Advances in Petri Nets 1991 11 conf
Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
6.23 Mb
#54
Application and Theory of Petri Nets 1995 16 conf
Giorgio DeMichelis, Michel DiazКатегория: Cs_Computer science, CsLn_Lecture notes
5.83 Mb
#55
Advances in Petri Nets 1987 7 conf
Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
3.99 Mb
#56
Application and Theory of Petri Nets 1996 17 conf
Jonathan Billington, Wolfgang ReisigКатегория: Cs_Computer science, CsLn_Lecture notes
6.17 Mb
#57
Advances in Petri Nets 1996, Lectures on Petri Nets: Basic Models
Wolfgang Reisig, Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
5.87 Mb
#58
Application and Theory of Petri Nets 1994 15 conf
Robert ValetteКатегория: Cs_Computer science, CsLn_Lecture notes
5.98 Mb
#59
Advances in Petri Nets 1983 and 1984
G. Rozenberg, H. Genrich, G. RoucairolКатегория: Cs_Computer science, CsLn_Lecture notes
4.06 Mb
#60
Advances in Petri Nets
Wilfried Brauer, Wolfgang Reisig, Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
3.25 Mb
#61
Concurrent Object-Oriented Programming and Petri Nets
Gul A. Agha, Fiorella De Cindio, Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
3.60 Mb
#62
Application and Theory of Petri Nets 1997 18 conf., ICATPN '97
Pierre Azema, Gianfranco BalboКатегория: Cs_Computer science, CsLn_Lecture notes
5.25 Mb
#63
Application and Theory of Petri Nets 1999, 20 conf., ICATPN '99
Susanna Donatelli, Jetty KleijnКатегория: Cs_Computer science, CsLn_Lecture notes
3.60 Mb
#64
Application and Theory of Petri Nets 1998, 19 conf., ICATPN '98
Jörg Desel, Manuel SilvaКатегория: Cs_Computer science, CsLn_Lecture notes
5.36 Mb
#65
Applications and Theory of Petri Nets, 29 conf., PETRI NETS 2008
Kees M. van HeeКатегория: Cs_Computer science, CsLn_Lecture notes
9.26 Mb
#66
Applications and Theory of Petri Nets 2004, 25 conf., ICATPN 2004
Jordi Cortadella, Wolfgang ReisigКатегория: Cs_Computer science, CsLn_Lecture notes
4.29 Mb
#67
Petri Nets and Other Models of Concurrency - ICATPN 2007, 28 conf., ICATPN 2007
Jetty Kleijn, Alex YakovlevКатегория: Cs_Computer science, CsLn_Lecture notes
6.89 Mb
#68
Advances in Petri Nets 1993 12 conf
Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
4.06 Mb
#69
Application and Theory of Petri Nets 2001, 22 conf., ICATPN 2001
Jose-Manuel Colom, Maciej KoutnyКатегория: Cs_Computer science, CsLn_Lecture notes
3.21 Mb
#70
Advances in Petri Nets 1985 6 conf
Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
3.98 Mb
#71
Petri Net Theory and Applications
Book edited by Vedran KordicКатегория: Electronical-Computer-Mechanical
10.28 Mb
#73
Modeling and Analysis of Hybrid Supervisory Systems - A Petri Net Approach
Emilia Villani, Paulo Eigi Miyagi, Robert Valette
2.95 Mb
#74
Applications and Theory of Petri Nets, 30 conf., PETRI NETS 2009
Giuliana Franceschinis, Karsten WolfКатегория: CsLn_
7.08 Mb
#75
Finite Representations of CCS and TCSP Programs by Automata and Petri Nets
Dirk A. TaubnerКатегория: CsLn_
1.31 Mb
#76
Lectures on Concurrency and Petri Nets, Advances in Petri Nets, ACPN 2003
Jörg Desel, Wolfgang Reisig, Grzegorz RozenbergКатегория: CsLn_
18.37 Mb
#77
Transactions on Petri Nets and Other Models of Concurrency II
Wil M. P. van der Aalst, Kurt JensenКатегория: CsLn_
7.59 Mb
#78
Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings
10.48 Mb
#79
Modelling with Generalized Stochastic Petri Nets
M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis
4.51 Mb
#80
System Modeling and Control with Resource-Oriented Petri Nets (Automation and Control Engineering (Unnumbered))
MengChu Zhou, Naiqi Wu
6.59 Mb
#83
Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency)
Kurt Jensen, Jonathan Billington, Maciej Koutny
4.64 Mb
#85
Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools
Branislav Hrúz, MengChu ZhouКатегория: Engineering
4.83 Mb
#86
Transactions on Petri Nets and Other Models of Concurrency 1 conf.
Wil M. P. van der Aalst, Jonathan Billington, Kurt JensenКатегория: Cs_Computer science, CsLn_Lecture notes
4.97 Mb
#87
Petri nets: Applications
Pawlewski P. (ed.)Категория: Cs_Computer science, CsDi_Discrete math
25.79 Mb
#88
Free choice Petri nets
Jorg Desel, Javier EsparzaКатегория: Cs_Computer science, CsDi_Discrete math
1.71 Mb
#92
Petri Net Technology for Communication-Based Systems: Advances in Petri Nets
Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber
4.95 Mb
#94
Transactions on Petri Nets and Other Models of Concurrency IV
Kurt Jensen, Susanna Donatelli, Maciej Koutny
3.92 Mb
#95
Haas P. Stochastic Petri nets. Modelling, stability, simulation(Springer, 2002)(529s)_MVspa_.pdf
3.38 Mb
#96
Petrie A., Sabin C. Medical Statistics at a Glance (Blackwell UK,2000)(ISBN 0632050756)(T)(C)(138s)_MVsa_.djvu
2.77 Mb
#97
Haas P. Stochastic Petri nets. Modelling, stability, simulation(Springer,2002)(529s)_MNs_.pdf
3.21 Mb
Показаны далеко не все результаты, удовлетворяющие вашему запросу. Чтобы увидеть другие результаты, пожалуйста, уточните запрос.